First International Congress on Tools for teching Logic The Interactive Learning Environment WinKE for Teaching Deductive Reasoning

First International Congress on Tools for Teaching Logic The Interactive Learning Environment WinKE for Teaching Deductive Reasoning

WinKE is an interactive proof assistant based on the KE calculus, a refuta-tion system which combines features from Smullyan's analytic tableaux and Gentzen's natural deduction. The software has been developed to support teaching logic and deductive reasoning at university level. In the sequel we brieey introduce the proof system KE and give an overview of the main features of the software tool...

Using Interaction and Visualisation for Teaching Deductive Reasoning

In this paper we discuss how computers can be deployed to support teaching deductive reasoning at university level. These considerations led to the development of the interactive theorem proving assistant and learning environment WinKE. We start out by describing common difficulties in teaching logic and deductive reasoning and thereby justify the need for computer support in that field. We ide...

WinKE: A Proof Assistant for Teaching Logic

WinKE is a new interactive theorem proving assistant based on the KE calculus, a refutation system which combines features from Smullyan's analytic tableaux and Gentzen's natural deduction. It has been developed to support teaching logic and reasoning to undergraduate students. The software is supportive of and complementary to an introductory textbook on classical logic Mondadori and D'Agostin...

15th International Congress of Geographic Medicineand 5th National Congress of Medical Education Views of Medical Students, Entry 1995 About Histology Teaching at Shiraz Medical School

Introduction. In order to understand the cellular and tissue damages or changes in various diseases, it is imperative to be knowledgeable about the normal structure of different tissues. The Histology course, which is taught in the first year of medicine in Iran, is supposed to provide such knowledge. In this study, we did evaluate this course for its methods of teaching as well as clinical r...

First International Congress on Tools for Teaching Logic Local Search Algorithms for SAT in a Course in Logic for Computer Science